Isotrivial VMRT-structures of complete intersection type
نویسندگان
چکیده
منابع مشابه
Complete Restrictions of the Intersection Type Discipline
In this paper the intersection type discipline as defined in [Barendregt et al. ’83] is studied. We will present two different and independent complete restrictions of the intersection type discipline. The first restricted system, the strict type assignment system, is presented in section two. Its major feature is the absence of the derivation rule (≤) and it is based on a set of strict types. ...
متن کاملA Complete Characterization of the Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersectiontypes: the inference semantics, the simple semantics and the F-semantics. These semantics arise by taking as interpretation of types subsets of applicative structures, as interpretation of the inte...
متن کاملA Complete Characterization of Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics and the F-semantics.
متن کاملComplete Intersection Singularities of Splice Type as Universal Abelian Covers
It has long been known that every quasi-homogeneous normal complex surface singularity with Q–homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called “splice type singularities,” which generalize Brieskorn complete intersections....
متن کاملToric complete intersection codes
In this paper we construct evaluation codes on zero-dimensional complete intersections in toric varieties and give lower bounds for their minimum distance. This generalizes the results of Gold–Little–Schenck and Ballico–Fontanari who considered evaluation codes on complete intersections in the projective space.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Asian Journal of Mathematics
سال: 2018
ISSN: 1093-6106,1945-0036
DOI: 10.4310/ajm.2018.v22.n2.a10